Evaluating Sequential Consistency in a Virtually Shared Memory System by Deterministic and Stochastic Petri Nets
نویسندگان
چکیده
This paper introduces a modeling approach for evaluating the performance of consistency models for Virtually Shared Memory systems. The proposed approach employs Deterministic and Stochastic Petri Nets (DSPNs) which provide a unified modeling tool for both qualitative and quantitative analysis. A DSPN of a sequential consistency model is presented which is employed for a quantitative performance analysis. This analysis of the sequential consistency model gives important hints for designing more relaxed consistency models.
منابع مشابه
Mapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)
CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...
متن کاملModeling Relaxed Memory Consistency Protocols
This paper presents a modeling approach based on deterministic and stochastic Petri nets (DSPN's) for analyzing memory consistency protocols for multiprocessors with Distributed Shared Memory (DSM). DSPN's are a numerically solvable modeling formalism with a graphical representation. The modeling approach addresses in particular the performance degradation due to the amount of message exchange,...
متن کاملA Fuzzy Approach to Sequential Failure Analysis Using Petri nets
In highly competitive industrial market, the concept of failure analysis is an unavoidable fact in complex industrial systems. Reliability of such systems not only depends on the reliability of each element of these systems, but also depends on occurrence of sequence of failures. In this paper, a novel approach to sequential failure analysis is proposed which is based upon fuzzy logic and the c...
متن کاملDSPNexpress: A Software Package for the Efficient Simulation of Deterministic and Stochastic Petri Nets
This paper describes the analysis tool DSPNexpress which has been developed at the Technical University of Berlin since 1991. The development of DSPNexpress has been motivated by the lack of a powerful software package for the numerical solution of Deterministic and Stochastic Petri Nets (DSPNs) and the complexity requirements imposed by evaluating memory consistency models for multicomputer sy...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کامل